本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从而证明一般连续统假设和选择公理的相对相容性；第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型，从而证明连续统假设以及选择公理的相对独立性。这三大目标分为三章分别来实现。在一定意义上讲，每一章体现一种基本方法。这些基本方法是从事集合论研究的最基本的方法。

本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从而证明一般连续统假设和选择公理的相对相容性；第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型，从而证明连续统假设以及选择公理的相对独立性。这三大目标分为三章分别来实现。在一定意义上讲，每一章体现一种基本方法。这些基本方法是从事集合论研究的最基本的方法。

本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析，也包含逻辑分析；既包含内模型分析，也包含外模型分析；归根结底是揭示各种高阶无穷公理对整个集合论论域的影响，尤其是对实数集合的影响。因此，第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内模型构造；第2章侧重于在大基数上构造各种各样的具有典范意义的力迫扩张，从而解决包括奇异基数假设在内的一些长期遗留问题的独立性问题；第3章侧重于分析高阶无穷对实数子集合正则性的影响。

本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析，也包含逻辑分析；既包含内模型分析，也包含外模型分析；归根结底是揭示各种高阶无穷公理对整个集合论论域的影响，尤其是对实数集合的影响。因此，第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内模型构造；第2章侧重于在大基数上构造各种各样的具有典范意义的力迫扩张，从而解决包括奇异基数假设在内的一些长期遗留问题的独立性问题；第3章侧重于分析高阶无穷对实数子集合正则性的影响。

与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。 本书可供大专院校数学系学生、教师以

戴牧民编著的《公理集合论导引》是公理集合论的入门书，先介绍了 集合论形成和发展的历程，公理化问题的由来，公理化的意义，其次按zfc 公理系统逐步介绍各条公理，数系的构建，序数和基数的理论，以及在拓 扑学研究上常用的一些知识(包括闭无界集、稳定集与pressing down引理 ，a系统与厶系统引理，滤子与超滤，树和树拓扑等)，与此同时，还介绍 了一些对集合论本身及在拓扑学研究中极有价值的，与zfc公理系统独立的 集论命题(包括连续统假设，martin公理)，最后，简略介绍了有关集合论 命题与zfc公理系统相容和独立的问题。 《公理集合论导引》可作为大学数学专业高年级本科生、研究生的公 理集合论课程的教材，也可作为高校相关专业教师的参考书。

与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果，以及作者本人的研究成果。 本书可供大专院校数学系学生、教师以

集合论，ISBN：9787506282321，作者：Thomas Jech 著

集合论，ISBN：9787506282321，作者：Thomas Jech 著

集合论是数学的一个基本分支，在数学中占据着独特的地位，其基本概念已渗透到数学的所有领域。本书从集合论中最基本的概念开始，循序渐进，深入浅出。主要内容有：公理及运算、关系与函数、自然数、实数的构造、基数与选择公理、秩序与序数、序数与序型等。本书附有大约300道习题。　　本书可作为数学、计算机及其他相关专业本科生教材。